Поиск по сайту

ГлавнаяПоиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Леонова М. А. , Девянин П. Н. «О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB» // Прикладная дискретная математика. Приложение 2021. №14 C.126-132